obtain meta knowledge through abstraction